Objektnetze: Definition und Eigenschaften

Mobile Programme finden zunehmend Verbreitung, beispielsweise als eingebetteter Bestandteil von Mobiltelefonen oder in Form von applets im Web. Diesen Systemen ist gemeinsam, dass sie verteilt arbeiten, nebenläufig Aktionen ausführen und dynamisch ihren Kontext wechseln. Gerade diese Eigenschaften gehören jedoch nicht zu den primären Konzepten aktueller Programmiersprachen. Mit den Objektnetzen wird in dieser Arbeit ein Formalismus präsentiert, der diese elementaren Konzepte in einer einheitlichen Art und Weise ausdrückt. Objektnetze sind eine Verallgemeinerung der Petrinetze, bei denen die Marken in Objektnetzen wiederum Objektnetze sind, wodurch Systemzustände eine rekursiv verschachtelte Struktur aufweisen. Es zeigt sich, dass die Ausdrucksmächtigkeit der Objektnetze größer als die einfacher Petrinetze ist, gleichzeitig aber die Analyse von Objektnetzen von der Klarheit eines Petrinetzformalismus profitiert.